192 research outputs found
Hop and HipHop : Multitier Web Orchestration
Rich applications merge classical computing, client-server concurrency,
web-based interfaces, and the complex time- and event-based reactive
programming found in embedded systems. To handle them, we extend the Hop web
programming platform by HipHop, a domain-specific language dedicated to
event-based process orchestration. Borrowing the synchronous reactive model of
Esterel, HipHop is based on synchronous concurrency and preemption primitives
that are known to be key components for the modular design of complex reactive
behaviors. HipHop departs from Esterel by its ability to handle the dynamicity
of Web applications, thanks to the reflexivity of Hop. Using a music player
example, we show how to modularly build a non-trivial Hop application using
HipHop orchestration code.Comment: International Conference on Distributed Computing and Internet
Technology (2014
L'informatique oblige Ă repenser la classification des sciences : questions Ă Gilles Dowek. On a longtemps confondu l'informatique avec ses usages, questions Ă GĂ©rard Berry ; propos recueillis par Dominique Chouchan
National audienceL'informatique est-elle une science ? Discipline encore jeune, une soixantaine d'années d'existence seulement, son statut épistémologique se démarque de celui des sciences plus anciennes
Towards Coq-verified Esterel Semantics and Compiling
This paper focuses on semantics of the Esterel synchronous programming
language. In particular, in addition to the usual behavioral (CBS) and state
(CSS) semantics, it introduces a novel microstep semantics which does not need
the Can potential function. Formal proofs in Coq of the equivalence between the
CBS and CSS semantics and of the refinement between the CSS and microstep
semantics are also provided
The chemical abstract machine
Weintroducea new kind of abstract machine based on the chemical metaphor used in the G language of Banatre & al. States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi. We also show how to extract a higher-order concurrent l-calculus out of the basic concepts of the chemical machine
Algorithmes, machines et langages
Enseignement Cours et séminaires – Esterel de A à  Z Introduction Ce cours a présenté en détail le langage de programmation synchrone Esterel, déjà décrit de façon succincte dans deux séances en 2012-2013. Esterel est destiné aux systèmes réactifs, c’est-à -dire aux systèmes informatisés capables de réagir au temps et aux événements provenant de l’extérieur en étant soumis à des contraintes de temps de réponse. Ces systèmes se trouvent en particulier dans l’informatique embarquée destinée à con..
Programming a digital watch in Esterel v3
Disponible dans les fichiers attachés à ce documen
On the definition of lambda-calculus models
Résumé disponible dans les fichiers attaché
Some syntactic and categorical constructions of lambda-calculus models
Résumé disponible sur le PD
Real time programming : special purpose or general purpose languages
Disponible dans les fichiers attachés à ce documen
Some syntactic and categorical constructions of lambda-calculus models
Résumé disponible sur le PD
- …